Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
821	i i “9780470905395c01” — [removed] — 20:43 — page 1 — #1 i Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-09-20 13:17:56 Systems engineering Software engineering Business Process Execution Language Workflow technology Formal methods Logic in computer science Service-oriented architecture Model checking Runtime verification Enterprise application integration Computing Process management
822	Model checking transactional memory John O’Leary Intel Bratin Saha Intel Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Transactional memory Model checking Linearizability Parallel computing Promela Lock Concurrency control Transaction processing Computing
823	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Instruction set architectures Computer memory Parallel computing Cache coherency Model checking CPU cache Formal verification Communications protocol Computing Computer architecture Computer hardware
824	Cache Coherence Verification with TLA+ Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle , and Yuan Yu Compaq Computer Corporation We used the speciﬁcation language TLA+ to ana Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Parallel computing Cache coherence Cache Communications protocol DEC Alpha Temporal logic of actions Model checking Leslie Lamport Correctness Computing Concurrent computing Cache coherency
825	Model checking transactional memory with Spin John O’Leary Intel [removed] Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Serializability Linearizability Transactional memory Schedule Non-blocking algorithm Transmission Control Protocol Concurrency control Transaction processing Computing
826	Microsoft PowerPoint - figs.ppt [Read-Only] Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2008-11-16 00:00:00 Protocols Model checking IP Abstraction XTR Static single assignment form Software engineering Computing Communications protocol Data transmission
827	Brief Announcement: Model Checking Transactional Memory with Spin John O’Leary Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2008-11-16 00:00:00 Computing Data Software transactional memory Linearizability Transactional memory Model checking SPIN model checker Serializability Parallel computing Concurrency control Transaction processing Data management
828	Specifying and Verifying Systems With TLA+ Leslie Lamport Microsoft Research John Matthews HP Labs Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Information Theoretical computer science Model checking Formal methods Temporal logic of actions Temporal logic Leslie Lamport Specification language Communications protocol Concurrency Computing Computer science
829	Brief Announcement: Extracting Models from Design Documents with Mapster David James Tim Leonard Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2008-11-16 00:00:00 Data transmission Protocols Conceptual model Model checking Formal methods Ethology Data Information Communications protocol
830	Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-30 04:38:21 Model checking Finite-state machine Automata theory Models of computation Deterministic pushdown automaton

UPDATE